翻訳と辞書
Words near each other
・ Jeremy Aldrich
・ Jeremy Allaire
・ Jeremy Allanson
・ Jeremy Allen
・ Jeremy Allen White
・ Jeremy Allerton
・ Jeremy Allgrove
・ Jeremy Allison
・ Jeremy Anderson
・ Jeremy Annear
・ Jeremy Applegate
・ Jeremy Arel
・ Jeremy Asher
・ Jeremy Ashkenas
・ Jeremy Atack
Jeremy Avigad
・ Jeremy Baker
・ Jeremy Baker (disambiguation)
・ Jeremy Ball
・ Jeremy Balmy
・ Jeremy Bamber
・ Jeremy Barlow
・ Jeremy Barnes
・ Jeremy Barnes (guitarist)
・ Jeremy Barrett
・ Jeremy Barrett (actor)
・ Jeremy Barrett (artist)
・ Jeremy Barrett (figure skater)
・ Jeremy Bascom
・ Jeremy Bash


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Jeremy Avigad : ウィキペディア英語版
Jeremy Avigad

Jeremy Avigad is a Professor of Philosophy at Carnegie Mellon University.
He received a B.A. in Mathematics from Harvard in 1989, and a Ph.D. in Mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver.〔(Mathematics Genealogy Project )〕 He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics.〔(Jeremy Avigad's official website ) at Carnegie Mellon University
== References ==




抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Jeremy Avigad」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.